package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@uPatternDescription
(	Title = "PureType",
	Description = "Class with only abstract methods and no static members," +
				  "and no fields.")

@Target(ElementType.TYPE)
public @interface PureType {
	String[] abstractMethods() default{};
	NoStaticMembers noStaticMembers();

}
